verifying trig identities